1. Essays on the Foundations of Mathematics
Author: \ Stephen Pollard, editor.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Mathematics-- Philosophy.,ریاضیات -- فلسفه
Classification :
QA
8
.
6
.
E8
2010
E-Book
,
2. Logic and Philosophy of Mathematics in the Early Husserl
Author: \ by Stefania Centrone.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic, symbolic and mathematical,منطق ریاضی,a03,a03,Mathematics-- Philosophy.,ریاضیات -- فلسفه
Classification :
QA
9
.
C4L6
2010
E-Book
,
3. <The> Arché papers on the Mathematics of Abstraction
Author: \ edited by Roy T. Cook.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Mathematics -- Philosophy.,ریاضیات -- فلسفه
Classification :
QA
9
.
A7
2007
E-Book
,
4. The Oxford handbook of philosophy of mathematics and logic
Author: / edited by Stewart Shapiro.
Library: National Library and Archives of Islamic Republic of Iran (Tehran)
Subject: ریاضیات,منطق ریاضی, -- فلسفه, -- فلسفه
Classification :
QA
۸
/
۴
/
آ
۷ ۱۳۸۴
5. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
Author: /by Kurt Godel.,گودل,Godel
Library: National Library and Archives of Islamic Republic of Iran (Tehran)
Subject: ریاضیات,منطق ریاضی, -- فلسفه
Classification :
QA
۹
/
گ
۹
ک
۲ ۱۳۴۵
6. The foundations of mathematics
Author: / by Frank Plumpton Ramsey
Library: National Library and Archives of Islamic Republic of Iran (Tehran)
Subject: ریاضیات -- فلسفه,منطق ریاضی
Classification :
BibQA
۹
/
ر
۸ ۱۳۷۹
7. The limits of science: qutline of logic and of the methodology of the exact sciences leon chwistek Introduction and appendix by Helen Charlotte
Author:
Library: National Library and Archives of Islamic Republic of Iran (Tehran)
Subject: علوم روش‌ش‍ن‍اس‍ی,ریاضیات -- فلسفه,منطق ریاضی
Classification :
BibQ
۱۷۵
/
خ
۸
ل
۹ ۱۳۷۹
8. The nature of mathematics: a critical survey
Author: / Max Black
Library: National Library and Archives of Islamic Republic of Iran (Tehran)
Subject: ریاضیات -- فلسفه,منطق ریاضی
Classification :
QA
۹
/
ب
۸ ۱۳۸۰
9. Towards Mathematical Philosophy
Author: \ David Makinson, Jacek Malinowski, Heinrich Wansing Editors
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic, Symbolic and mathematical -- Congresses. ,Mathematics -- Philosophy -- Congresses. ,منطق ریاضی -- کنگره‌ها ,ریاضیات -- فلسفه -- کنگره ها
Classification :
E-Book
,
10. آیا خدا یک ریاضی‌دان است؟
Author: / ماریو لیویو,عنوان اصلی:Is God a mathematician?, 2010.,لیویو,Livio
Library: Central Library of Astan Quds Razavi-Girl's youth Hall (Khorasan Razavi)
Subject: رياضيات,منطق رياضي,اکتشافهاي علمي,رياضي دانان, -- سرگذشتنامه, -- فلسفه
Classification :
۵۱۰
/
۱
ل
۹۹۳
آ
11. آیا خدا یک ریاضی‌دان است؟
Author: / ماریو لیویو,عنوان اصلی:Is God a mathematician?, 2010.,لیویو,Livio
Library: Central library of astan quds razavi (Khorasan Razavi)
Subject: رياضيات,منطق رياضي,اکتشافهاي علمي,رياضي دانان, -- سرگذشتنامه, -- فلسفه
Classification :
۵۱۰
/
۱
ل
۹۹۳
آ
12. آیا خدا یک ریاضی‌دان است؟
Author: / ماریو لیویو,عنوان اصلی:Is God a mathematician?, 2010.,لیویو,Livio
Library: Central Library of Astan Quds Razavi-Boy's youth Hall (Khorasan Razavi)
Subject: رياضيات,منطق رياضي,اکتشافهاي علمي,رياضي دانان, -- سرگذشتنامه, -- فلسفه
Classification :
۵۱۰
/
۱
ل
۹۹۳
آ
13. آیا روش ریاضی دکارت در فلسفه متضمن با قطعیت و یقین است؟
Author:
Library: Virtual Library (Digital) Alphabet (Tehran)
Subject: ریاضیات;کلیات;فلسفه دکارت;ریاضی دکارت;منطق;,کثرت گرایی;معقولات ثانی ریاضی;علوم متعارفه;وحدت گرایی;شک دکارتی;انگارش;ابزارگرایی;شک گرایی;بداهت((اصطلاح وابسته)، مقابل ادراکات فطری);
14. برهان گودل و حقيقت و برهان
Author: / نويسندگان: ارنست ناگل، ج. نبومن و آلفرد تارسکي
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: منطق رياضي,رياضيات - فلسفه
Classification :
۵۱۰
/
۱
ن
۲۱۸
ب
۱۳۶۴
15. برهان گودل و حقيقت وبرهان
Author: نويسندگان: ارنست ناگل , ج نبومن و آلفرد تارسکي,مترجم محمد اردشير,مباحثي در فلسفه رياضي برهان گودل و حقيقت و برهان
Library: Public Library of Heris (East Azarbaijan)
Subject: منطق رياضي رياضيات فلسفه
Classification :
510
/1
ن
218
ب
1364
16. برهان گودل و حقیقت برهان
Author: ناگل، ارنست، ۱۹۰۱-
Library: Library of College of Science University of Tehran (Tehran)
Subject: ریاضیات -- فلسفه,منطق ریاضی
Classification :
QA
۹
/
ن
۲
ب
۴
17. پژوهشی در پیرامون مسئله‌ی تصمیم در منطق: طرح چند خوارزمیک تحلیلی معنا‌یی
Author: ادیب سلطا‌نی، میرشمس‌الدین، ۱۳۱۰-
Library: Library of Document Center and Great Islamic Encyclopedia Center (Tehran)
Subject: منطق ریاضی,فلسفه ریاضیات,فلسفه,تصمیم گیری (منطق),الگوها‌ی ریاضی تصمیم گیری
Classification :
BC135
.
A4P4
18. تأملى بر استقراى ریاضى
Author: على بیگدلى، لطف اللّه نبوى
Library: Virtual Library (Digital) Alphabet (Tehran)
Subject: استقرا;نظریه مجموعه ها; اعداد طبیعی;استقراء ریاضی;فلسفه منطق;فلسفه ریاضیات;منطق;,فرا قضیه تمامیت;استقرای ضعیف;استقراء ریاضی قوی;اصل استقرای ریاضی;
19. تحلیلی نو، بر پارادوکس راسل و پیوست همراه با معرفی یک هندسه جدید
Author: / فرزاد حمیدی
Library: Library of Islamic Encyclopedia Foundation (Tehran)
Subject: ریاضیات,هندسه,حساب, -- فلسفه, -- مبانی, -- اصول,منطق ریاضی -- فلسفه,هندسه -- فلسفه,راسل، ب‍رت‍ران‍دراس‍ل، ۱۸۷۲ - ۱۹۷۰م. -- اصول ریاضیات -- نقد وتفسیر
Classification :
QA
۹
/
ر
۱
الف
۶۰۲
